منابع مشابه
A Tool Kit for Lexicon Building
This paper describes a set of interactive routines that can be used to create, maintain, and update a computer lexicon. The routines are available to the user as a set of commands resembling a simple operating system. The lexicon produced by this system is based on lexical-semantic relations, but is compatible with a variety of other models of lexicon structure. The lexicon builder is suitable ...
متن کاملThe ZEUS agent building tool - kit
There is an emerging desire among agent researchers to move away from developing point solutions to point problems in favour of developing methodologies and tool-kits for building distributed multi-agent systems. This philosophy has led to the development of the ZEUS agent building tool-kit, which facilitates the engineering of collaborative agent applications through the provision of a library...
متن کاملThe Model-Checking Kit
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checkers, including deadlock-checkers, reachability-checkers, and model-checkers for the temporal logics CTL and LTL [7].
متن کاملOn a Generalized Connes -
The central result here is an explicit computation of the Hochschild and cyclic homologies of a natural smooth subalgebra of stable continuous trace algebras having smooth manifolds X as their spectrum. More precisely, the Hochschild homology is identified with the space of differential forms on X, and the periodic cyclic homology with the twisted de Rham cohomology of X, thereby generalizing s...
متن کاملNotes on Connes ’ Construction of the Standard Model
The mathematical apparatus of non commutative geometry and operator algebras which Connes has brought to bear to construct a rational scheme for the internal symmetries of the standard model is presented from the physicist’s point of view. Gauge symmetry, anomaly freedom, conservation of electric charge, parity violation and charge conjugation all play a vital role. When put together with a rel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Geometry and Physics
سال: 1995
ISSN: 0393-0440
DOI: 10.1016/0393-0440(94)00026-z